additive congruence

[数] 同余加法